Sequence Diagrams for Mobility1
نویسنده
چکیده
There are several kinds of UML diagrams for convenient modelling of behaviour, but these diagrams can be hardly used for modelling mobility. The situation is not very different in the case of agent languages. There exist already some proposals for modelling mobility of interacting agents by graphical notations, but these notations are rather not very intuitive and hard to read if the specification becomes a bit complex. In this paper we propose a new graphical notation for modelling interaction of mobile objects. The notation is based on UML sequence diagrams. We model behaviour of mobile objects using a generalized version of lifelines. For different kinds of actions like creating, entering or leaving a mobile object we use stereotyped messages. We provide also a zoom-out, zoom-in facility allowing us to abstract from specification details. We explain our notation in a series of examples,from specification details. We explain our notation in a series of examples, study its applicability and limits.
منابع مشابه
Development of a conceptual model for asthma management system in primary care
Introduction: Asthma is uncontrolled in more than half of asthma patients due to inadequate and incorrect management. The main reasons for inadequate management are non-adherence, inadequate knowledge of a general practitioner about patientchr('39')s clinical condition, and not following asthma management guidelines The purpose of this study was to develop a conceptual model for the asthma mana...
متن کاملسنگنگاری، ژئوشیمی و سنگشناسی مجموعه افیولیتی جنوب صحنه )شمال شرق کرمانشاه(
Ophiolitic complex of Sahneh could be considered as part of ophiolite sequences in the Zagros Suture Zone.This complex is a part of 3000 km belt, which is started from Syria after crossing south Turkey and Zagros leading to Oman. The studied ophiolitic complex is curvature in shape which is situated in south of Sahneh. No complete ophiolite sequence were seen in this complex. In general, t...
متن کاملRefinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Sequence diagrams are often used in the modular design of softwares. In this paper, we propose a method to verify correctness of sequence diagrams. With this method, using the process algebra CSP, concurrent systems can be synthesized from a number of sequence diagrams. We define new CSP operators for the synthesis of sequence diagrams. We also report on a tool implementing our synthesis method...
متن کاملChecking the Correspondence between UML Models and Implementation
UML class and sequence diagrams are used as the basis for runtime profiling along with either offline or online analysis to determine whether the execution conforms to the diagrams. Situations where sequence diagrams are intended to characterize all possible executions are described. The approach generates an execution tree of all possible sequences, using a detailed collection of graph transfo...
متن کاملTesting Graphical User Interface Using Decision Based Sequence Diagrams
This paper presents a novel approach to generate and execute graphical user interfaces from decision based UML sequence diagrams .This has been designed especially for efficient user interfaces where with less generation and verification effort are required different types of decision tables and UML sequence diagrams. The decision based sequence diagrams test sets did better at revealing integr...
متن کامل